algorithm characterizationsの例文
- See more about this at Algorithm characterizations, in particular Searle's opinion that outside any computation there must be an observer that gives meaning to the symbols used.
- Another logician John Venn, however, in his 1881 " Symbolic Logic ", turned a jaundiced eye to this effort : " I have no high estimate myself of the interest or importance of what are sometimes called logical machines . . . it does not seem to me that any contrivances at present known or likely to be discovered really deserve the name of logical machines "; see more at Algorithm characterizations.
